18.44/20.97	unsat
