11.86/12.44	unsat
