10.86/10.91	unsat
