5.40/5.44	unsat
