11.86/12.08	unsat
