14.26/17.32	unsat
