14.15/14.42	unsat
