8.89/10.03	unsat
