11.79/11.92	unsat
