14.27/17.01	unsat
