14.35/14.42	unsat
