5.18/6.44	unsat
