14.52/17.40	unsat
