10.86/10.99	unsat
