10.87/14.01	unsat
