14.26/14.30	unsat
