5.51/6.21	unsat
