10.89/14.01	unsat
