5.69/8.37	unsat
