14.17/15.56	unsat
