5.28/6.40	unsat
