18.85/18.91	unsat
