14.27/14.32	unsat
