5.48/5.50	unsat
