11.85/11.92	unsat
