13.17/14.72	unsat
