18.80/20.42	unsat
