7.08/14.42	unsat
