5.27/6.21	unsat
