11.89/11.92	unsat
