5.92/6.44	unsat
