8.89/8.93	unsat
