14.56/18.25	unsat
