5.27/7.24	unsat
