5.27/5.92	unsat
