5.47/6.21	unsat
