8.96/11.95	unsat
