5.97/7.12	unsat
