5.27/7.44	unsat
