5.17/7.44	unsat
