9.95/10.32	unsat
