14.18/14.29	unsat
