14.27/14.33	unsat
