11.86/11.90	unsat
