5.85/6.44	unsat
