5.98/8.44	unsat
