5.37/6.40	unsat
