8.86/12.00	unsat
