14.27/17.14	unsat
