5.79/6.37	unsat
