8.86/11.00	unsat
