18.45/20.09	unsat
