14.88/18.42	unsat
