18.85/22.09	unsat
