10.86/10.93	unsat
