10.87/11.92	unsat
