18.46/20.09	unsat
