9.89/13.01	unsat
