9.87/13.01	unsat
