8.05/12.83	unsat
