14.27/17.51	unsat
