5.45/6.37	unsat
