8.80/10.03	unsat
