5.23/7.12	unsat
