14.26/14.33	unsat
